ParseForallAbsurd.agda:5,22-22
ParseForallAbsurd.agda:5,22: Parse error
)<ERROR>
 -> Set1
parseFails x = Set
--...
